(C32F10.5.1,T20B12.8.1);